projection homomorphism

射影同态